('a, 'b) either -> 'a
